- 邏輯斷言
- logical: adj. 1.邏輯的，邏輯上的；邏輯學上的。 2.合乎邏 ...
- assertion: n. 1.主張，斷言，確言。 2.維護，堅持。 短語和例 ...
- assertion: n. 1.主張，斷言，確言。 2.維護，堅持。 stand to one's assertion 堅持己見。
- arbitrary assertion: 武斷, 任意斷定
- assertion checker: 斷言檢查程序
下載手機詞典可隨時隨地查詞查翻譯
logical assertion中文什么意思
- 邏輯斷言
下載手機詞典可隨時隨地查詞查翻譯
百科釋義
A logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent.
詳細百科解釋